disjunction logic

析取邏輯